1. These frames, together with lattice homomorphisms that respect arbitrary suprema, form a category. 2. Let "'Dist "'denote the category of bounded distributive lattices and bounded lattice homomorphisms . 3. Given the standard definition of isomorphisms as invertible morphisms, a " lattice isomorphism " is just a bijective lattice homomorphism . 4. *PM : complete lattice homomorphism , id = 9241 new !-- WP guess : complete lattice homomorphism-- Status: 5. *PM : complete lattice homomorphism, id = 9241 new !-- WP guess : complete lattice homomorphism -- Status: 6. The symbol " F " is then a functor from the category of sets to the category of lattices and lattice homomorphisms . 7. *PM : example of non-complete lattice homomorphism , id = 9253 new !-- WP guess : example of non-complete lattice homomorphism-- Status: 8. *PM : example of non-complete lattice homomorphism, id = 9253 new !-- WP guess : example of non-complete lattice homomorphism -- Status: 9. *PM : example of a non-lattice homomorphism , id = 9252 new !-- WP guess : example of a non-lattice homomorphism-- Status: 10. *PM : example of a non-lattice homomorphism, id = 9252 new !-- WP guess : example of a non-lattice homomorphism -- Status: